Including Graphics Files

The functions for graphics inclusion try to give the same user syntax for including any kind of graphics file that can be understood by the driver. This relies on the file having an extension that identifies the file type. The `driver options' will define a collection of file extensions that the driver can handle, although this list may be extended using the declarations described below.

If the file's extension is unknown to the driver, the system may try a default file type. The PostScript driver files set this default to be |eps| (PostScript), but this behaviour may be customised if other defaults are required.

#decl213# Include a graphics file.

If <#385#>*<#385#> is present, then the graphic is `clipped' to the size specified. If <#386#>*<#386#> is omitted, then any part of the graphic that is outside the specified `bounding box' will over-print the surrounding text.

If the optional arguments are omitted, then the size of the graphic will be determined by reading an external file as described below.